ma{-}interface{-}dom($I$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}domain($I$($i$).2)